<?hh <<__EntryPoint>> function main(): void {
register_shutdown_function(function () { echo "Hello World!\n"; });

echo "Done\n";
}
